logic connective

См. также в других словарях:

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… …   Universalium

• connective — connectively, adv. connectivity /kon ek tiv i tee/, n. /keuh nek tiv/, adj. 1. serving or tending to connect: connective remarks between chapters. n. 2. something that connects. 3. Gram. a word used to connect words, phrases, clauses, and… …   Universalium

• Logic alphabet — The logic alphabet was developed by Dr. Shea Zellweger in the 1950s while working as a switchboard operator. It constitutes an iconic set of symbols systematically representing the sixteen possible binary truth functions. Dr. Zellweger, now… …   Wikipedia

• connective — In formal logic a connective is an element of a sentence that joins parts in such a way that the logical properties of the whole are a defined function of the logical properties of the parts. The most familiar connectives are those expressing the …   Philosophy dictionary

• sentential connective — Logic. any of several words or their equivalent symbols used in logical formulas to connect propositions, as or, not, and, if and only if. * * * …   Universalium

• Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… …   Wikipedia

• Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

• Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… …   Wikipedia

• First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

• Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… …   Wikipedia